<?php
// search.php
// what for is this file (mic 2005.09.09. - 20:31 ??
?>